Use of Learned Dictionaries in Tomographic Reconstruction Vincent Ettera , Ivana Jovanovi´cb,c and Martin Vetterlid a Laboratory for Communications and Applications, Ecole Polytechnique F´ed´erale de Lausanne, CH-1015

Source URL: vincent.etter.io

• Multivariate statistics
• Signal processing
• Linear algebra
• Matching pursuit
• Numerical linear algebra
• Lexicography
• Singular value decomposition
• Discrete cosine transform
• Overcompleteness
• Algebra
• Statistics
• Mathematics

PCBanque Ecole Polytechnique - ESPCI - ENS Liste des concours

Source URL: scei-concours.fr

Wedding Boolean Solvers with Superposition: a Societal Reform Simon Cruanes École polytechnique and INRIA, 23 Avenue d’Italie, 75013 Paris, France https://who.rocq.inria.fr/Simon.Cruanes/

Source URL: cedeela.fr

• NP-complete problems
• Logic in computer science
• Boolean algebra
• Electronic design automation
• Formal methods
• Satisfiability Modulo Theories
• Boolean satisfiability problem
• Solver
• Boolean data type
• Theoretical computer science
• Applied mathematics
• Mathematics

Welcome in France ! If video games are your passion, our school is made for you ! A famous French School ! You may know Ecole Polytechnique (Engineering), ENA (Public Administration), ENST (Telecomunication), FEMIS

Source URL: www.cnam-enjmin.fr

Transfer in Inverse Reinforcement Learning for Multiple Strategies Ajay Kumar Tanwani, Aude Billard Learning Algorithms and Systems Laboratory (LASA) Ecole Polytechnique Federale de Lausanne, Switzerland. {ajay.tanwani,

Source URL: lasa.epfl.ch

• Markov decision process
• Apprenticeship learning
• Mathematical optimization
• Statistics
• Machine learning
• Reinforcement learning

Communicating and trusting proofs: The case for foundational proof certificates Dale Miller ´ INRIA-Saclay & LIX/Ecole Polytechnique, Palaiseau, France

Source URL: www.lix.polytechnique.fr

• Mathematical logic
• Formal methods
• Automated theorem proving
• Logical syntax
• Formal languages
• Mathematical proof
• Formal proof
• Theorem
• Proof
• Logic
• Mathematics
• Proof theory

Logtk: A Logic ToolKit for Automated Reasoning and its Implementation Simon Cruanes ´ Ecole polytechnique and INRIA, 23 Avenue d’Italie, 75013 Paris, France

Source URL: cedeela.fr

Soundness of embeddings in the λΠ-calculus modulo rewriting Ali Assaf Deducteam, Inria Paris-Rocquencourt École Polytechnique

Source URL: who.rocq.inria.fr

• Logic
• Logic in computer science
• Dependently typed programming
• Lambda calculus
• Proof theory
• Curry–Howard correspondence
• First-order logic
• Logical framework
• System F
• Mathematical logic
• Theoretical computer science
• Type theory

Prof. Dr. Jean-Pierre WOLF GAP-Biophotonics - Université de Genève , http://www.gap.unige.ch/biophotonics/ Research Experience

Source URL: www.gap.unige.ch

• École Polytechnique
• Education
• Academia
• Technology
• Grandes écoles
• Lausanne
• École Polytechnique Fédérale de Lausanne

Bimanual Compliant Tactile Exploration for Grasping Unknown Objects Nicolas Sommer, Miao Li and Aude Billard Ecole Polytechnique Federale de Lausanne (EPFL) {n.sommer, miao.li, aude.billard}@epfl.ch Abstract— Humans ha

Source URL: lasa.epfl.ch